@Override
public void done(@NotNull IElementType type) {
myOriginalPositionMarker.drop();
super.done(type);
}
@Override
public void done(@NotNull IElementType type) {
if (myOriginalPositionMarker != null) {
myOriginalPositionMarker.drop();
}
super.done(type);
}